Revision: tla-tools--devo--0--patch-20
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Sat Jan 31 00:33:13 JST 2004
Standard-date: 2004-01-30 15:33:13 GMT
Modified-files: tagline-funs.awk
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-20
Summary: Escape some regexp special chars in tagline extension rules

